Недетерминированный конечный автомат

**Недетерминированный конечный автомат (НКА)** — пятерка $B = (Q, \Sigma, \delta, S, T)$ - $Q$ — мн-во состояний - $\Sigma$ — алфавит - $\delta \mathpunct{:} Q \times \Sigma \to 2^{Q}$ - $S \subseteq Q$ (начальные состояния) - $T \subseteq Q$ (заключительные) $\delta(Q, w)$ — множество состояний, в которые можно попасть из состояний множества $Q$, прочитав слово $w$ Слово $w$ распознается автоматом, если $$\delta(S, w) \cap T \neq \varnothing$$